Phát biểu của bổ đề Zorn Bổ đề Zorn

Giả sử một tập hợp sắp thứ tự bộ phận X khác rỗng nào đó có tính chất sau đây: "mọi tập con sắp thứ tự toàn phần của X đều có ít nhất một chặn trên thuộc X". Thế thì tập X có ít nhất một phần tử tối đại.

Liên quan